Eliminating Embedded Software Defects Prior to Integration Test
نویسندگان
چکیده
Research has shown that finding software faults early in the development cycle not only improves software assurance, but also reduces software development expense and time. The root causes of the majority of embedded system software defects discovered during hardware integration test have been attributed to errors in understanding and implementing requirements. The independence that typically exists between the system and software development processes provides ample opportunity for the introduction of these types of faults. This article shows a viable method of verifying object software using the same tests created to verify the system design from which the software was developed. After passing the same tests used to verify the system design, it can be said that the software has correctly implemented all of the known and tested system requirements. This method enables the discovery of functional faults prior to the integration test phase of a project.
منابع مشابه
Using Test Clouds to Enable Continuous Integration Testing of Distributed Real-time and Embedded System Applications
It is critical to evaluate the quality-of-service (QoS) properties of enterprise distributed real-time and embedded (DRE) system early in the software lifecycle—instead of waiting until system integration time—to minimize the impact of rework needed to remedy QoS defects. Unfortunately, enterprise DRE system developers and testers often lack the necessary resources to support such testing effor...
متن کاملSoftware and Driver Synthesis from Transaction Level Models
This work presents a method of automatically generating embedded software including bus driver code from a transaction level model (TLM). For the application software, a real time operating system (RTOS) adapter is introduced to model scheduling and synchronization at C level. ANSI-C code is generated targeting this RTOS adapter. Bus drivers are also automatically created for HW/SW communicatio...
متن کاملA Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems
In applying Component-Based Software Engineering (CBSE) techniques to the domain of Distributed Real-time and Embedded (DRE) Systems, there are five critical challenges: 1) discovery of relevant components and resources, 2) specification and modeling of components, 3) exploration and elimination of design assembly options, 4) automated generation of heterogeneous component bridges, and 5) valid...
متن کاملA Novel Method for Ultrasonic Evaluation of Horizontal Defects Using Time-of-Flight Diffraction
Time-of-flight diffraction method (ToFD) is an amplitude-independent sizing method which is based on the measurement of time-of-flight of defect tip diffracted waves. Although ToFD can measure through-wall length of defect accurately, this method is not capable of measuring horizontal defect size. In this paper, a new ToFD method for evaluating horizontal planar defects is presented. The finite...
متن کاملValidation and Verification of LADEE Models and Software
The Lunar Atmosphere Dust Environment Explorer (LADEE) mission will orbit the moon in order to measure the density, composition and time variability of the lunar dust environment. The ground-side and onboard flight software for the mission is being developed using a “Model-Based Software” methodology. In this technique, models of the spacecraft and flight software are developed in a graphical d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005